Koha online

1.
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers

by Priami, Corrado.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
Place hold
2.
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
Place hold
3.
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
Place hold

Powered by Koha